大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Workshop on the Portability of Numerical Software 的图书(共3015本)

Real and Complex Singularities [electronic resource] : S茫o Carlos Workshop 2004

0
索取号：
作者：Brasselet、 Jean-Paul.、Ruas、 Maria Aparecida Soares.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2007.

Software Agent-Based Applications, Platforms and Development Kits [electronic resource]

0
索取号：
作者：Unland、 Rainer.、Calisti、 Monique.、Klusch、 Matthias.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2005.

Multiscale Modeling in Epitaxial Growth [electronic resource] : Mini-Workshop at Mathematisches Forschungsinstitut Oberwolfach January 18鈥⴬ 2004

0
索取号：
作者：Voigt、 Axel.、SpringerLink (Online service)、
出版社：Basel : Birkh盲user Basel, 2005.

Hydrocephalus [electronic resource] : Selected Papers from the International Workshop in Crete, 2010

0
索取号：
作者：Aygok、 Gunes A.、Rekate、 Harold L.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna, 2012.

Numerical Modeling of Concrete Cracking [electronic resource]

0
索取号：
作者：Hofstetter、 G眉nter.、Meschke、 G眉nther.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna, 2011.

Numerical and Symbolic Scientific Computing [electronic resource] : Progress and Prospects

0
索取号：
作者：Langer、 Ulrich.、Paule、 Peter.、SpringerLink (Online service)、
出版社：Vienna : Springer Vienna : Imprint: Springer, 2012.

SynDEVS Co-Design Flow [electronic resource] : A Hardware / Software Co-Design Flow Based on the Discrete Event System Specification Model of Computation

0
索取号：
作者：Molter、 H. Gregor.、SpringerLink (Online service)、
出版社：Wiesbaden : Springer Fachmedien Wiesbaden : Imprint: Springer Vieweg, 2012.

Combinatorial Algorithms [electronic resource] : 23rd International Workshop, IWOCA 2012, Tamil Nadu, India, July 19-21, 2012, Revised Selected Papers

0
索取号：
作者：Arumugam、 S.、Smyth、 W. F.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Tools for Practical Software Verification [electronic resource] : LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures

0
索取号：
作者：Meyer、 Bertrand.、Nordio、 Martin.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Formal Aspects of Component Software [electronic resource] : 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

0
索取号：
作者：Arbab、 Farhad.、脰lveczky、 Peter Csaba.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Focused Retrieval of Content and Structure [electronic resource] : 10th International Workshop of the Initiative for the Evaluation of XML Retrieval, INEX 2011, Saarbr眉cken, Germany, December 12-14, 2011, Revised Selected Papers

0
索取号：
作者：Geva、 Shlomo.、Kamps、 Jaap.、Schenkel、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

AI Approaches to the Complexity of Legal Systems. Models and Ethical Challenges for Legal Systems, Legal Language and Legal Ontologies, Argumentation and Software Agents [electronic resource] : International Workshop AICOL-III, Held as Part of the 25th IVR Congress, Frankfurt am Main, Germany, August 15-16, 2011. Revised Selected Papers

0
索取号：
作者：Palmirani、 Monica.、Pagallo、 Ugo.、Casanovas、 Pompeu.、Sartor、 Giovanni.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Security Protocols XX [electronic resource] : 20th International Workshop, Cambridge, UK, April 12-13, 2012, Revised Selected Papers

0
索取号：
作者：Christianson、 Bruce.、Malcolm、 James.、Stajano、 Frank.、Anderson、 Jonathan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Transactions on Aspect-Oriented Software Development IX [electronic resource]

0
索取号：
作者：Leavens、 Gary T.、Chiba、 Shigeru.、Haupt、 Michael.、Ostermann、 Klaus.、Wohlstadter、 Eric.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Multi-disciplinary Trends in Artificial Intelligence [electronic resource] : 6th International Workshop, MIWAI 2012, Ho Chi Minh City, Vietnam, December 26-28, 2012. Proceedings

0
索取号：
作者：Sombattheera、 Chattrakul.、Loi、 Nguyen Kim.、Wankar、 Rajeev.、Quan、 Tho.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Machine Learning in Medical Imaging [electronic resource] : Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers

0
索取号：
作者：Wang、 Fei.、Shen、 Dinggang.、Yan、 Pingkun.、Suzuki、 Kenji.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.